﻿using Nemerle.Imperative; 
using System;

class NInitialization
{
  class User 
  {
    public Name : string { get; set; }
    public Age  : int    { get; set; }
  }
  
  public Initialize() : void {
    def user = User() with { 
      Name = "David Hilbert"; Age = 81 
    };
    Console.WriteLine("{0} ({1})", user.Name, user.Age);
  }
}
